Definitions | n+m, #$n, rv-disjoint(p;n;X;Y), P Q, {T}, suptype(S; T), , T, Type, True, <a, b>, f(a), cons-seq(x;s), left + right, Unit, P   Q, (i = j), ,  b, b, , RandomVariable(p;n), FinProbSpace, x:A B(x), Void, s = t, rv-shift(x;X),  , a < b, {i..j }, , {x:A| B(x)} , , i j < k, A B, P & Q, A, False, P  Q, n - m, -n, S T, x:A B(x), Outcome, x:A. B(x), t T |